coci nom.1 ^{grammar (beta)}

[nom:church]